منابع مشابه
Efficient OCL-based Incremental Transformations
Active operations have recently been shown to be a possible back-end to implement OCL-based incremental model transformations. However, the scalability of this approach had not been evaluated yet. This paper presents work done to address this issue by leveraging the VIATRA CPS Benchmark. We show that our implementation of the benchmark transformation using the Active Operation Framework scales ...
متن کاملMeasuring ATL Transformations∗
Model transformations are a key element in Model Driven Engineering because they are the primary means for model manipulation. Assessing the quality of model transformations enables the improvement of those assets, and in consequence affects the quality of the MDE-based process in which they are applied. In this work we address the implementation of metrics for model transformations. ATL is cur...
متن کاملOrchestrating ATL Model Transformations
The design and development of any complex applications using a Model-driven Engineering approach involve not only the use of many models, but also the use of many model transformations between them. These transformations should be chained together, using Model Transformation Orchestration notations and tools. This paper introduces Wires*, a graphical executable language for the orchestration of...
متن کاملOn Using UML Profiles in ATL Transformations
For defining modeling languages, metamodels and UML profiles are the proposed options. While metamodels are supported by several dedicated model transformation approaches, currently no transformation language exists which supports UML profiles as first class language definitions. Instead, the usage of UML profiles in transformations is implicit by using calls to external UML APIs. In this paper...
متن کاملTowards incremental deductive verification for ATL
In this work, we address the performance problem in the deductive verification of model transformations written in the ATL language w.r.t. given contracts. Our solution is to enable incremental verification for ATL transformations through caching and reusing of previous verification results. Specifically, we decompose the original OCL contract into sub-goals, and cache the verification result o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2019
ISSN: 1660-1769
DOI: 10.5381/jot.2019.18.3.a2